bornological space

有界型空间